Modelling History-Dependent Business Processes
نویسندگان
چکیده
Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce a finite-path variant of the timed propositional logics with past for specifying guards in business process models. The novelty is due to the introduction of boundary points start and now corresponding to the starting and current observation points. Reasoning in presence of boundary points requires three-valued logics as one needs to distinguish between temporal formulas that hold, those that do not hold and “unknown” ones corresponding to “open cases”. Finally, we extend a sub-language of the logics to take uncertainty into account.
منابع مشابه
Modelling with History-Dependent Petri Nets
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. Extending our previous work on history-dependent Petri nets we propose and evaluate a methodology for modell...
متن کاملModelling, Analysis and Improvement of Mobile Business Processes with the MPL Method
This paper introduces the Mobile Process Landscaping (MPL) method for modelling, analysing and improving mobile business processes. Current approaches for process modelling and analysis do not explicitly allow the consideration of typical mobility issues, e.g. location-dependent activities, mobile networks as resources and specifics of mobile information systems. Thus, our method focuses on the...
متن کاملThe Aspects of Business Processes: An Open and Formalism Independent Ontology
It is now well-established, that there are three important aspects of business processes: the behaviour aspect, the information aspect, and the organisation aspect. Dependent on the application area and the purpose of the models, there are even more aspects that need to be considered. Conceptually, most of the aspects of business processes are completely independent of each other. In fact, mode...
متن کاملProcess Modelling and Analysis Using Discrete - Event Simulation 4 BUSINESS PROCESS MODELLING
Globalisation and competitive pressure urge many organisations to radically change business processes. Although this approach can provide significant benefits such as reducing costs or improving efficiency, there are substantial risks associated with it. Using simulation for modelling and analysis of business processes can reduce that risk and increase the chance for success of Business Process...
متن کاملSimulation Modelling of Business Processes
Increasingly, organisations need to adapt to new conditions and competitive pressures. Various change management approaches such as business process reengineering have been developed to meet this perceived need. This paper investigates the potential of simulation modelling for modelling business processes. After a discussion on business processes related issues, an overview of business process ...
متن کامل